Routley- Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.

In a qualitative study, 22 stroke patients undergoing rehabilitation in three nursing homes were interviewed about constraints on and improvements in their autonomy and about approaches of health professionals regarding autonomy. The data were analysed using grounded theory, with a particular focus on the process of regaining autonomy. An approach by the health professionals that was responsive to changes in the patients’ autonomy was found to be helpful for restoration of their autonomy. Two patterns in health professionals’ approach appeared to (...) be facilitatory: (1) from full support on admission through moderate support and supervision, to reduced supervision at discharge; and (2) from paternalism on admission through partial paternalism (regarding treatment) to shared decision making at discharge. The approach experienced by the patients did not always match their desires regarding their autonomy. Support and supervision were reduced over time, but paternalism was often continued too long. Additionally, the patients experienced a lack of information. Tailoring interventions to patients’ progress in autonomy would stimulate their active participation in rehabilitation and in decision making, and would improve patients’ preparation for autonomous living after discharge. (shrink)

Task unrelated thought (TUT) refers to thought directed away from the current situation, for example a daydream. Three experiments were conducted on healthy participants, with two broad aims. First, to contrast distributed and encapsulated views of cognition by comparing the encoding of categorical and random lists of words (Experiments One and Two). Second, to examine the consequences of experiencing TUT during study on the subsequent retrieval of information (Experiments One, Two, and Three). Experiments One and Two demonstrated lower levels of (...) TUT and higher levels of word-fragment completion whilst encoding categorical relative to random stimuli, supporting the role of a distributed resource in the maintenance of TUT. In addition the results of all three experiments suggested that experiencing TUT during study had a measurable effect on subsequent retrieval. TUT was associated with increased frequency of false alarms at retrieval (Experiment One). In the subsequent experiments TUT was associated with no advantage to retrieval based on recollection, by manipulating instructions at encoding (Experiment Two), and/or at retrieval (Experiment Three). The implications of the results of all three experiments are discussed in terms of recent accounts of memory retrieval and conscious awareness. (shrink)

We formulate and analyze the dynamics of an influenza pandemic model with vaccination and treatment using two preventive scenarios: increase and decrease in vaccine uptake. Due to the seasonality of the influenza pandemic, the dynamics is studied in a finite time interval. We focus primarily on controlling the disease with a possible minimal cost and side effects using control theory which is therefore applied via the Pontryagin’s maximum principle, and it is observed that full treatment effort should be given while (...) increasing vaccination at the onset of the outbreak. Next, sensitivity analysis and simulations (using the fourth order Runge-Kutta scheme) are carried out in order to determine the relative importance of different factors responsible for disease transmission and prevalence. The most sensitive parameter of the various reproductive numbers apart from the death rate is the inflow rate, while the proportion of new recruits and the vaccine efficacy are the most sensitive parameters for the endemic equilibrium point. (shrink)

This paper takes the case of the proposed building of the Traveston dam on the Mary River in Australia to examine the ways postcolonial power relations are played out in city/regional relationships to further the interests of the city. Postcolonialism is concerned with unravelling multiple histories of colonialism, and identifying the reproduction, contestation, ambivalence and transformation of modes of domination and subordination in colonial relations. Political contingencies and contestations by residents, farmers, traditional Indigenous owners and environmentalists seeking to protect endangered (...) species are examined to highlight the dominance of Western anthropocentric, technocentric, and eurocentric epistemologies in political, ecological, environmental, biotheical debates. (shrink)

This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of the approach are discussed. The (...) paper concludes with a case study giving a detailed example of the use of the isomorphic approach in a particular application. (shrink)